<?PHP
  include "utility_functions.php";

  // Prevent manual URL logout
  if (!empty($_GET["session_id"])) {
    session_destroy();
  }
  // Redirect to homepage
  header("Location:index.php");
?>